substitution suggested by equation